Solving a≡b(mod m)